Situations in LTL as strings
نویسنده
چکیده
Article history: Received 21 November 2006 Revised 15 May 2008 Available online 11 April 2009
منابع مشابه
The Analytic Technique and Experimental Research Methods of Post-buckling about Slender Rod Strings in Wellbore
The buckling behavior of rod strings in wellbore is one of the key issues in petroleum engineering. The slender rod strings in vertical wellbore were selected as research objects. Based on the energy method, the critical load formulas of sinusoidal and helical buckling were derived for the string with the bottom of the wellbore pressure. According to the sinusoidal and helical buckling’s geomet...
متن کاملIntuitionistic LTL and a New Characterization of Safety and Liveness
Classical linear-time temporal logic (LTL) is capable of specifying of and reasoning about infinite behaviors only. While this is appropriate for specifying non-terminating reactive systems, there are situations (e. g., assumeguarantee reasoning, run-time verification) when it is desirable to be able to reason about finite and infinite behaviors. We propose an interpretation of the operators of...
متن کاملExpressibility of norms in temporal logic
In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [1] that norms cannot be expressed in Linear Time Temporal Logic (LTL). Recently, doubts were raised in [1] regarding suitability of LTL and other temporal logics for expressing ‘real life’ norms. We claim that the argument in [1] does...
متن کاملBinary strings without zigzags
We study several enumerative properties of the set of all binary strings without zigzags, i.e., without substrings equal to 101 or 010 . Specifically we give the generating series, a recurrence and two explicit formulas for the number wm,n of these strings with m 1’s and n 0’s and in particular for the numbers wn = wn,n of central strings. We also consider two matrices generated by the numbers ...
متن کاملObserving events and situations in time
Events and situations are represented by strings of temporally ordered observations, on the basis of which the events and situations are recognized. Allen’s basic interval relations are derived from superposing strings that mark interval boundaries, and Kamp’s event structures are constructed as projective limits of strings. Observations are generalized to temporal propositions, leading to even...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 207 شماره
صفحات -
تاریخ انتشار 2009